First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
361	Solving Logic Puzzles: From Robust Processing to Precise Semantics Iddo Lev,∗ Bill MacCartney,∗ Christopher D. Manning,∗† and Roger Levy† ∗ Department of Computer Science Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2004-05-23 19:03:12 Computational linguistics Philosophical logic Predicate logic Metalogic First-order logic Natural language processing Computational semantics Mathematical logic Well-formed formula Logic Science Semantics
362	CS109B Notes for LectureWhy Interpretations? Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:59:21 Propositional calculus Predicate logic Model theory Semantics Predicate Interpretation First-order logic Propositional variable Tautology Logic Mathematical logic Mathematics
363	On the Relation between Reiter’s Default Logic and its (major) Variants James P. Delgrande1 and Torsten Schaub2 1 School of Computing Science, Simon Fraser University , Burnaby, B.C., Canada V5A 1S6 , Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2003-09-08 16:40:17 Model theory Default logic Knowledge representation Logic programming Non-classical logic Symbol Interpretation First-order logic Function Mathematical logic Logic Mathematics
364	Verifying Z Specifications with Z/Eves AI4FM kick-off meeting talk Andrius Velykis PhD student at Newcastle University, AI4FM project Supervised by Prof Cliff Jones Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Oxford University Computing Laboratory Z notation Eves First-order logic Zermelo–Fraenkel set theory Formal specification Metalogic Theorem prover Mathematical logic Formal methods Logic
365	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Proof theory Mathematical constructivism Predicate logic Boolean algebra Propositional calculus First-order logic Intuitionistic logic Well-formed formula Sequent Logic Mathematical logic Mathematics
366	Automated Theorem Proving Scott Sanner, Guest Lecture Topics in Automated Reasoning Thursday, Jan. 19, 2006 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-05-25 01:09:25 Model theory Propositional calculus Deduction Resolution First-order logic Interpretation Inference Deduction theorem Modal logic Logic Mathematical logic Automated theorem proving
367	Programming Languages Concepts This course teaches concepts in two ways: By implementing interpreters CS3520 Programming Languages Concepts Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2009-02-04 16:35:18 Function Differentiation rules First-order logic Mathematics Mathematical logic Lambda calculus
368	A Probabilistic Hoare-style logic for Game-based Cryptographic Proofs (Extended Version) Ricardo Corin and Jerry den Hartog {ricardo.corin,jerry.denhartog}@cs.utwente.nl Department of Computer Science, Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2006-04-26 14:51:39 Model theory Program logic Logic in computer science Predicate logic Hoare logic First-order logic Function Algorithm Probabilistic logic Mathematics Logic Mathematical logic
369	Epistemic Logic and its Applications: Tutorial Notes Ernest Davis∗ New York University New York, New York Leora Morgenstern Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-07-16 10:30:47 Logical syntax Model theory Philosophical logic Philosophy of language Modal logic Interpretation Epistemic modal logic First-order logic Entailment Logic Mathematical logic Propositional calculus
370	Practical Partition-Based Theorem Proving for Large Knowledge Bases Sheila McIlraith Bill MacCartney Knowledge Systems Lab Knowledge Systems Lab Computer Science Dept. Computer Science Dept. Stanford University Add to Reading List Source URL: www.ksl.stanford.edu Language: English - Date: 2003-06-20 17:12:42 Automated theorem proving Combinatorics NP-complete problems Graph partition Resolution Partition Tree decomposition First-order logic Mathematics Graph theory Theoretical computer science

UPDATE